Cactus Language • Pragmatics 9
inquiryintoinquiry.com·1d
📊type
A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
arxiv.org·18h
📊type
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
📥Embeddings
AI Safety Through Operational Physics: Why Resource Constraints Beat Value Alignment
lesswrong.com·2h
🏗️Enterprise Software Architecture
Speaking in "LLM Idioms"
blog.promptlayer.com·1d·
Discuss: Hacker News
📊type
Relative Completeness of Incorrectness Separation Logic
arxiv.org·18h
🏗️Enterprise Software Architecture
How the Lean language brings math to coding and coding to math
amazon.science·4h·
Discuss: Hacker News
🏗️Enterprise Software Architecture
Fine-tuning with GPT-OSS and Hugging Face Transformers
cookbook.openai.com·2h·
Discuss: Hacker News
📥Embeddings
Python Challenge #1 Explained!
dev.to·6h·
Discuss: DEV
📥Embeddings
Why Computer Science Is No Good, Redux
cacm.acm.org·5h
📊type
Who Am I in the Eye of AI?
lightcapai.medium.com·1d·
Discuss: Hacker News
📥Embeddings
NeuralMorse – Reinventing Morse Code with Neural Networks
masatohagiwara.net·4h·
Discuss: Hacker News
📥Embeddings
MOPrompt: Multi-objective Semantic Evolution for Prompt Optimization
arxiv.org·18h
🖨️3d printing
libsemigroups: C++ library for semigroups and monoids
github.com·16h·
Discuss: r/cpp
📥Embeddings
SAT Requires Exhaustive Search
link.springer.com·1d·
Discuss: Hacker News
📥Embeddings
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·15h
🏗️Enterprise Software Architecture
How LLMs See the World
blog.bytebytego.com·1d
📥Embeddings
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·9h·
Discuss: www.blogger.com
🏗️Enterprise Software Architecture
ECMA-262, 16th edition, June 2025
262.ecma-international.org·2d·
Discuss: Hacker News
🏗️Enterprise Software Architecture
Parallelization of cryptographic protocol analyzer Maude-NPA reduces analysis time, makes internet safer
techxplore.com·8h
🏡Self-hosting